『(理論)11 ソフトウェア科学のための論理学』
https://gyazo.com/db23dd7f6bb521e4ed65d75d98221dd7
/mrsekut-book-4000103512
１
一階述語論理
２ 一階述語論理の演繹体系
３
エルブランの定理
と一階述語論理の完全性
４
論理プログラミング
と
シークエント計算
５
様相論理
６
動的論理
と
ホーア論理
７
直観主義論理
のセマンティックス
８
構成的解釈
と
自然演繹
９ カテゴリー
#スクボ読書化した本